#include "comm/boot_info.h"
#include "init.h"
#include "cpu/cpu.h"

int test (int a, int b) {
    return a + b;
}


void kernel_init (boot_info_t * boot_info) {
    int a = 1, b = 2;
    test(a , b);

    cpu_init();

}

void init_main(void)
{
    for(;;){}

}

                            